Programming language syntax

Results: 492



#Item
41Logic in computer science / Programming language semantics / Type theory / Logic programming / Automated theorem proving / Operational semantics / Substitution / Syntax / Type system / Semantics / C++ classes / Monad

Semantics for a fragment of LOTOS with functional data and abstract datatypes Alan Jeffrey, University of Sussex Input document of ISO/IEC JTC1/SC21/WG7 ‘Enhancements to LOTOS’ Li`ege meeting, December 19

Add to Reading List

Source URL: ect.bell-labs.com

Language: English - Date: 2010-12-15 21:35:48
42Software engineering / Computer programming / Computing / Source code / Transformation languages / C / Functional languages / Hygienic macro / Scheme / Syntax / Macro / Make

Adapting Scheme-Like Macros to a C-Like Language Kevin Atkinson Matthew Flatt University of Utah, School of Computing

Add to Reading List

Source URL: scheme2011.ucombinator.org

Language: English - Date: 2014-01-06 09:39:58
43Parser generators / Computational linguistics / Compiler construction / Parsing / Programming language implementation / Syntax / Treebank / Natural language processing / GOLD / LR parser / LL parser

PDF Document

Add to Reading List

Source URL: www2.lingfil.uu.se

Language: English - Date: 2014-10-16 02:35:45
44Subroutines / C++ / C programming language / Main function / ALGOL 68 / Data types / Constructor / C++ classes / C syntax / Software engineering / Computing / Computer programming

Elements of Computing Systems, Nisan & Schocken, MIT Press www.idc.ac.il/tecs Operating Systems

Add to Reading List

Source URL: nand2tetris.org

Language: English - Date: 2012-07-24 08:06:41
45Programming language semantics / Action semantics / Formal languages / Peter Mosses / Programming language / SYNTAX / ASF+SDF Meta Environment / Programming language theory / Theoretical computer science / Software engineering

BRICS DS-05-2 J. Iversen: Formalisms and tools supporting Constructive Action Semantics BRICS Basic Research in Computer Science

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2007-01-15 18:51:53
46Type theory / Functional programming / Data types / Subroutines / Algebraic data type / Pattern matching / Anonymous function / Monad / Main function / Software engineering / Computing / Computer programming

Haskell Cheat Sheet Strings This cheat sheet lays out the fundamental elements of the Haskell language: syntax, keywords and other elements. It is presented as both an executable Haskell file and a printable document.

Add to Reading List

Source URL: cheatsheet.codeslower.com

Language: English - Date: 2013-07-22 18:47:53
47Compiler construction / Parsing / Procedural programming languages / Compiler / Syntax / ALGOL 68 / Programming language / Lexical analysis / Formal language / Software engineering / Computing / Programming language implementation

Compiler I: Syntax Analysis Building a Modern Computer From First Principles www.nand2tetris.org Elements of Computing Systems, Nisan & Schocken, MIT Press, www.nand2tetris.org , Chapter 10: Compiler I: Syntax Analysis

Add to Reading List

Source URL: nand2tetris.org

Language: English - Date: 2012-07-24 08:06:27
48Prolog / Programming language / Conditional / Logic programming / Prolog syntax and semantics / Programming language theory / Software engineering / Computing

A Third Look At Prolog Chapter Twenty-Two Modern Programming Languages, 2nd ed.

Add to Reading List

Source URL: www.webber-labs.com

Language: English - Date: 2010-08-18 22:47:47
49Computing / Parsing / Formal grammar / Syntax / Pattern matching / Sequence alignment / CYK algorithm / Formal languages / Software engineering / Computer programming

Syntax, Parsing and Production of Natural Language in a Framework of Information Compression by Multiple Alignment, Unification and Search∗ J Gerard Wolff (University of Wales, Bangor, UK

Add to Reading List

Source URL: www.cognitionresearch.org

Language: English - Date: 2012-01-09 18:21:58
50Compiler construction / Source code / Programming language implementation / Scannerless parsing / Parsing / Stratego/XT / Domain-specific language / IMP programming language / Abstract syntax tree / Computing / Software engineering / Computer programming

Delft University of Technology Software Engineering Research Group Technical Report Series Generating Editors for Embedded Languages

Add to Reading List

Source URL: swerl.tudelft.nl

Language: English - Date: 2008-02-18 08:41:00
UPDATE